верификация программ

верификация программ

 

верификация программ
1. Любой метод, который убеждает в том, что программа будет выполнять именно то, что от нее ожидается.
2. Доказательство того, что поведение программы соответствует спецификации на эту программу (ДСТУ 2873).
[Домарев В.В. Безопасность информационных технологий. Системный подход.]

Тематики

  • защита информации

EN

  • program verification


Справочник технического переводчика. – Интент. 2009-2013.

Игры ⚽ Нужна курсовая?

Смотреть что такое "верификация программ" в других словарях:

  • верификация — 02.02.03 верификация (символ) [verification]: Техническая процедура проверки, посредством которой производят измерения символа для определения его соответствия требованиям спецификации к этому символу. Источник …   Словарь-справочник терминов нормативно-технической документации

  • Верификация — Позитивизм …   Википедия

  • Верификация программы — 54. Верификация программы Верификация Program verification Доказательство того, что поведение программы соответствует спецификации на эту программу Источник: ГОСТ 19781 90: Обеспечение систем обработки информации программное. Термины и… …   Словарь-справочник терминов нормативно-технической документации

  • Формальная верификация — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства. Из за рутинности даже простой формальной верификации и… …   Википедия

  • МИ 2174-91: Рекомендация. Государственная система обеспечения единства измерений. Аттестация алгоритмов и программ обработки данных при измерениях. Основные положения — Терминология МИ 2174 91: Рекомендация. Государственная система обеспечения единства измерений. Аттестация алгоритмов и программ обработки данных при измерениях. Основные положения: 1 Алгоритм однозначное описание последовательности операций над… …   Словарь-справочник терминов нормативно-технической документации

  • частная верификация — Доказательство правильности программ, учитывающее основные, но не все возможные факторы. [Домарев В.В. Безопасность информационных технологий. Системный подход.] Тематики защита информации EN partial verification …   Справочник технического переводчика

  • Объектно-ориентированное программирование — Эта статья во многом или полностью опирается на неавторитетные источники. Информация из таких источников не соответствует требованию проверяемости представленной информации, и такие ссылки не показывают значимость темы статьи. Статью можно… …   Википедия

  • ООАП — Объектно ориентированное программирование (ООП) парадигма программирования, в которой основными концепциями являются понятия объектов и классов (либо, в менее известном варианте языков с прототипированием прототипов). Класс это тип, описывающий… …   Википедия

  • Объектно-ориентированный подход — Объектно ориентированное программирование (ООП) парадигма программирования, в которой основными концепциями являются понятия объектов и классов (либо, в менее известном варианте языков с прототипированием прототипов). Класс это тип, описывающий… …   Википедия

  • Премия Тьюринга — (англ. Turing Award)  самая престижная премия в информатике, вручаемая Ассоциацией вычислительной техники за выдающийся научно технический вклад в этой области. Содержание 1 Статус и порядок присуждения …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»